<?php header("Content-type:text/html;charset=utf-8") ?>
<pre>
<?php
if($_GET['filter']){
	$filter = str_replace('\\','\\\\',$_GET['filter']);
	$cmd = ('/usr/bin/phpunit --filter \''.$filter.'\'');
	system($cmd);
}else{
	system('/usr/bin/phpunit '.$_GET['cmd_param']);
}
